Informatique Th Eorique/computer Science on Locally Stratiied Logic Programs

Sur les programmes logiques localement stratii es 1 Anthony Karel Seda & Pascal Hitzler R esum e { Des id ees el ementaires de topologie dynamique sont utilis ees pour une approche constructive de la s emantique des mod eles parfaits de Przymusinski pour programmes localement stratii es. Nos r esultats comportent des applications de niveau qui prennent valeurs dans un ordinal d enombrable ar-bitraire et nos m ethodes sont apparent ees a celles d'Apt, Blair et Walker pour les programmes strat-ii es. Nous montrons l'existence de mod eles support es uniques quand certaines in egalit es sont strictes, am eliorant ainsi les r esultats de Przymusinski pour les mod eles parfaits. Fitting a utilis e des m etriques pour etudier certains programmes non-stratii es qui apparaissent dans les probl emes de terminaison; nos r esultats compl etent sa m ethode. Abstract { Elementary ideas from topological dynamics are used to provide a constructive approach to Przymusinski's perfect model semantics for locally stratiied normal logic programs. Our results utilise level mappings which take values in an arbitrary countable ordinal, and our methods are akin to those of Apt, Blair and Walker for stratiied programs. We show the existence of unique supported models when certain inequalities are strict, improving Przymusinski's results for perfect models. Also, our results complement Fitting's treatment by metric methods of certain non-stratiied programs which occur in the context of termination problems in logic programming. Version frann caise abr eg ee { Soit P un programme logique normal au sens d eeni dans 4]. Nous con-sid erons P comme un ensemble (peut-^ etre innni) des clauses C du type A A 1 dans lequel A, tout A i et tout B j ne contiennent pas de variables. Le probl eme principal dans l' etude de tels programmes est d' etablir un rapport entre la s emantique d eclarative de P et la s emantique proc edurale de P. Autrement dit, de rattacher la th eorie des mod eles de P d'une part, aux interpr etes de P d'autre part et, pour ces derniers, d' etudier les probl emes tels que v eridicit e et compl etude. Dans la plupart des cas nous associerons un op erateur T P : I P ! I P a P, I P d esignant le treillis de toutes les interpr etations de Herbrand pour P et nous etudierons les points pr eex …